منابع مشابه
Why Proof? What is a Proof?
1. The Hilbert-Gentzen Thesis This paper is concerned with real proofs as opposed to formal proofs, and specifically with the ultimate reason of real proofs ('Why Proof?') and with the notion of real proof ('What is a Proof?'). Several people believed and still believe that real proofs can be represented by formal proofs. A recent example is provided by Macintyre who claims that " one could go ...
متن کاملProof Engineering Considered Essential
In this talk, I will give an overview of the various formal verification projects around the evolving seL4 microkernel, and discuss our experience in large-scale proof engineering and maintenance. In particular, the presentation will draw a picture of what these verifications mean and how they fit together into a whole. Among these are a number of firsts: the first code-level functional correct...
متن کاملWhy Believe That There Is a God?
This article presents an argument for the existence of God, showing that the evident phenomena are best explained by supposing that a God causes them. The argument is based on the inductive force of four very evident general phenomena: that there is a physical Universe; that it is governed by very simple natural laws; that those laws are such as to lead to the existence of human bodies; and tha...
متن کاملSo, why is water biologically important?
Some brief impressionistic and necessarily subjectively based comments on the content of the Discussion Meeting are made. It is pointed out that the principal thrust of most of the presentations was directed towards structural aspects of proteins in various media. Comments are also made on the necessary interplay between the medium in which biomolecules occur and the interatomic forces between ...
متن کاملWhy ‘ Water ’ Is Not an Indexical
Adherents of two-dimensionalist semantics have devised a powerful argument to show that the Kripke-Putnam semantics is in need of an overhaul. Kripke and Putnam take “Water is H2O” to be necessary as well a posteriori. But that cannot be true. For to claim that a proposition is necessary is to claim that it is true in all contexts, whilst to maintain that it is a posteriori or informative is to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1885
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.ns-5.100.2